- equivalent extensions
- мат.эквивалентные расширения
English-Russian scientific dictionary. 2008.
equivalent extensions
Смотреть что такое "equivalent extensions" в других словарях:
Extensions of symmetric operators — In functional analysis, one is interested in extensions of symmetric operators acting on a Hilbert space. Of particular importance is the existence, and sometimes explicit constructions, of self adjoint extensions. This problem arises, for… … Wikipedia
Multipurpose internet mail extensions — « MIME » redirige ici. Pour les autres significations, voir Mime (homonymie). Multipurpose Internet Mail Extensions (MIME) est un standard internet qui étend le format de données des courriels pour supporter des textes en différents… … Wikipédia en Français
Multipurpose Internet Mail Extensions — Pile de protocoles 7. Application 6. Présentation 5. Session 4. Tr … Wikipédia en Français
transportation — /trans peuhr tay sheuhn/, n. 1. the act of transporting. 2. the state of being transported. 3. the means of transport or conveyance. 4. the business of conveying people, goods, etc. 5. price of travel or transport by public conveyance; fare. 6.… … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Self-adjoint operator — In mathematics, on a finite dimensional inner product space, a self adjoint operator is one that is its own adjoint, or, equivalently, one whose matrix is Hermitian, where a Hermitian matrix is one which is equal to its own conjugate transpose.… … Wikipedia
LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… … Encyclopédie Universelle
Écriture birmane — Birman Caractéristiques Type Alphasyllabaire Langue(s) Birman Direction De gauche à droite Historique Époque Du XIe siècle jusqu à nos jours … Wikipédia en Français
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
